0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite

    2. Automated Verification – alle Bücher

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "automated verification" finden. Könnten diese Produkte zu Ihrer Suche passen?

    Ansicht:
    Chris Köcher: Verification of Automata with Storage Mechanisms, Buch

    Chris Köcher
    Verification of Automata with Storage Mechanisms

    An important question in computer science is to ask, whether a given system conforms to a specification. Often this question is equivalent to ask whether a finite automaton with certain memory like a stac…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 18,00*
    : Model Checking Software, Buch

    Model Checking Software

    Lecture Notes in Computer Science -Band 14624

    This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers,…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 54,75*
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH